rolle theorem sppu